11 aubry p , lazard d , maza m m . on the theory of triangular sets . journal of symbolic computation , 1999 , : 105 - 124 . 12 bouziane d , rody a kandri , mahat arouf h . unmixed - dimensional decomposition of a finitely generated perfect differential ideal